Nuprl Definition : fpf-is-empty 0,22
fpf-is-empty(f) == ||1of(f)||=0 
latex

Definitionsi=j, ||as||, 1of(t), #$n
FDL editor aliasesfpf-is-empty

origin